"Walter Carnielli" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems (Applied Logic Series, 35)

Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas

Категория: Математика, Прикладная математика

3.91 Mb

#2

Paraconsistency: The Logical Way to the Inconsistent (Lecture Notes in Pure and Applied Mathematics)

Walter A. Carnielli, Marcelo E. Coniglio

Категория: Математика

35.76 Mb

#3

Computability: Computable Functions, Logic, and the Foundations of Mathematics, 3rd Edition

Richard L. Epstein, Walter A. Carnielli

4.53 Mb

#4

Computability: Computable Functions, Logic, and the Foundations of Mathematics

Richard L. Epstein, Walter A. Carnielli

2.66 Mb

#5

Computability: Computable Functions, Logic, and the Foundations of Mathematics

Richard L. Epstein, Walter A. Carnielli

2.64 Mb

#6

Analysis and synthesis of logics: how to cut and paste reasoning systems

Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas

5.14 Mb

#7

Analysis and Synthesis of Logics - How to Cut and Paste Reasoning Systems

Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas

5.26 Mb

#8

Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems (Applied Logic)

Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas

6.03 Mb

#9

Modalities and Multimodalities

Walter Carnielli, Claudio Pizzi, Juliana Bueno-Soler

Категория: Philosophy

2.69 Mb

#10

Computability: computable functions, logic, and the foundations of mathematics

Richard L. Epstein, Walter A Carnielli

11.39 Mb

#11

Computability: computable functions, logic, foundations of mathematics

Richard L. Epstein, Walter A Carnielli

Категория: Cs_Computer science, CsNp_Computability

2.64 Mb